Specification of Communication Protocols

Course Code
σχε-πρω-επι
ECTS Credits
5
Semester
8th Semester
Course Category

Specialization courses

Specialization courses

Specialization
Specialization elective courses on Informatics and Telecommunications
Course Description
COURSE CONTENTS

Course contents: Protocols Structure. Specification and modelling. Correctness requirements finite state machines. Validation of protocols.

ASSESSMENT

Assessment: Student project (100%).